next-world-state(D;i;s;k;v)
== <(x.M(i).ef(k,x,s,v)?s(x)),doact(k;v),filter(m.source(mlnk(m)) = i;M(i).sends(k,s,v))> 

latex

---

clarification:

next-world-state(D;i;s;k;v)
== <(x.d-m(D; i).ef(k,x,s,v)?s(x))
== ,doact(k;v)
== ,filter(m.source(mlnk(m)) = i;d-m(D; i).sends(k,s,v))> 

latex

Definitions	M.ef(k,x,s,v)?w, doact(k;v), filter(P;l), a = b, source(l), mlnk(m), M.sends(k,s,v), M(i)
FDL editor aliases	next-world-state